19 found
Order:
  1. Set Theory: An Introduction to Large Cardinals.F. R. Drake & T. J. Jech - 1976 - British Journal for the Philosophy of Science 27 (2):187-191.
     
    Export citation  
     
    Bookmark   65 citations  
  2.  65
    On McKinsey's syntatical characterizations of systems of modal logic.F. R. Drake - 1962 - Journal of Symbolic Logic 27 (4):400-406.
  3.  21
    On McKinsey's Syntactical Characterizations of Systems of Modal Logic.F. R. Drake - 1971 - Journal of Symbolic Logic 36 (4):691-692.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  4. index of names.J. Czelakowski, M. L. Dalla Chiara, M. Davis, M. G. de Bruijn, G. P. Dirichlet, A. C. Doyle, G. Dorn, F. R. Drake & W. Drabent - 1994 - In Jan Wolenski, Philosophical Logic in Poland. Kluwer Academic Publishers. pp. 363.
    No categories
     
    Export citation  
     
    Bookmark  
  5.  44
    European summer meeting of the association for symbolic logic: Leeds, 1979.F. R. Drake & S. S. Wainer - 1981 - Journal of Symbolic Logic 46 (2):435-446.
  6. Logic Colloquium '86.F. R. Drake & J. K. Truss - 1988
     
    Export citation  
     
    Bookmark  
  7. Logic Colloquium '86.F. R. Drake & J. K. Truss - 1989 - Studia Logica 48 (3):396-400.
     
    Export citation  
     
    Bookmark   1 citation  
  8. Recursion theory: its generalisations and applications: proceedings of Logic Colloquium '79, Leeds, August 1979.F. R. Drake & S. S. Wainer (eds.) - 1980 - New York: Cambridge University Press.
  9.  58
    Meeting of the association for symbolic logic Leeds 1967.M. H. Löb, F. R. Drake & J. Derrick - 1968 - Journal of Symbolic Logic 33 (3):490.
  10.  38
    Meeting of the Association for Symbolic Logic.M. H. Löb, F. R. Drake & J. Derrick - 1968 - Journal of Symbolic Logic 33 (3):490-496.
  11.  80
    Fitting Melvin Chris. Intuitionistic logic model theory and forcing. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London 1969, 191 pp. [REVIEW]F. R. Drake - 1971 - Journal of Symbolic Logic 36 (1):166-167.
  12.  50
    Chuaqui Rolando Basim. Axiomatic set theory, Impredicative theories of classes. North-Holland mathematics studies, no.. 51, Notas de matematica, no. 78. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, xv + 388 pp. [REVIEW]F. R. Drake - 1984 - Journal of Symbolic Logic 49 (4):1422-1422.
  13.  69
    Kazuyuki Tanaka. The Galvin–Prikry theorem and set existence axioms. Annals of pure and applied logic, vol. 42 , pp. 81–104. [REVIEW]F. R. Drake - 1991 - Journal of Symbolic Logic 56 (1):334.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  14.  59
    (1 other version)A. Lévy and R. M. Solovay. Measurable cardinals and the continuum hypothesis. Israel journal of mathematics, vol. 5 (1967), pp. 234–248. [REVIEW]F. R. Drake - 1970 - Journal of Symbolic Logic 34 (4):654-655.
  15.  50
    (1 other version)Azriel Lévy. Definability in axiomatic set theory I. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 127–151. [REVIEW]F. R. Drake - 1970 - Journal of Symbolic Logic 34 (4):653-654.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  27
    G. Takeuti and W. M. Zaring. Introduction to axiomatic set theory. Springer-Verlag, New York, Heidelberg, and Berlin, 1971, VII + 250 pp. [REVIEW]F. R. Drake - 1973 - Journal of Symbolic Logic 38 (3):530.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  41
    Mostowski Andrzej. On models of Zermelo-Fraenkel set theory satisfying the axiom of constructibility. Studia logico-mathematica et philosophica, in honorem Rolf Nevanlinna die natali eius septuagesimo 22.X.1965, Acta philosophica Fennica, no. 18 , pp. 135–144. [REVIEW]F. R. Drake - 1971 - Journal of Symbolic Logic 36 (3):542-542.
  18.  41
    Reviews. [REVIEW]F. R. Drake & Trond Berg Eriksen - 1972 - Synthese 23 (4):491-496.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  41
    Rieger L.. On the consistency of the generalized continuum hypothesis. Rozprawy matematyczne no. 31. Państwowe Wydawnictwo Naukowe, Warsaw 1963, 45 pp. [REVIEW]F. R. Drake - 1973 - Journal of Symbolic Logic 38 (1):153-153.